Many-valued logic: beyond algebraic semantics
نویسندگان
چکیده
منابع مشابه
Many-valued logic: beyond algebraic semantics
The last three decades have witnessed major advances in many-valued logic and related fields. The theory of Łukasiewicz logic and Chang’s MV-algebras has flourished, establishing profound connections with other fields of mathematics; Petr Hájek’s framework for mathematical fuzzy logic has met with remarkable success, bringing into focus the central rôle of residuation; and the algebraic analysi...
متن کاملTruth and knowledge fixpoint semantics for many-valued logic programming
The variety of semantical approaches that have been invented for logic programs for reasoning about inconsistent databases is quite broad. Especially, we are interested in an ontological encapsulation of a many-valued logics with negation, based on bilattices, into a 2-valued logic: this new approach is a minimilistic one based on the concept of the semantic reflection. We define a Model theore...
متن کاملMulti-Valued Logic Programming Semantics: An Algebraic Approach
In this paper we introduce the notion of join irreducibility in the context of bilattices and present a procedural semantics for bilattice based logic programs which uses as its basis the join irreducible elements of the knowledge part of the bilattice The join irreducible elements in a bilattice represent the primitive bits of information present within the system In bilattices which have the ...
متن کاملMany-valued hybrid logic
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
متن کاملAlgebraic Logic : Referential Algebraic Semantics
Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2012
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-012-0837-1